『Liquid Types』

#2008年

Rondon, Patrick M., Kawaguci, Ming, Jhala, Ranjit. “Liquid types”. Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA. New York, NY, USA, Association for Computing Machinery, 2008, p. 159–169, (PLDI ’08). https://doi.org/10.1145/1375581.1375602

1. どんなもの？

Liquid Types(Logically Qualified Data Types)について

DSOLVE

2. 先行研究と比べてどこがすごい？

3. 技術や手法のキモはどこ？

4. どうやって有効だと検証した？

5. 議論はある？

6. 次に読むべき論文は？

DSOLVE

キーワード: D.2.4 [Software Engineering]: Software/Program Verification; F.3.1 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs

#プログラム検証 #ソフトウェア検証

table:訳

Logically Qualified Data Types

Predicate Abstraction 述語抽象？

Liquid Types 液体型？

liqud type inference 液体型推論？

strongly typed language 強く型付けされた言語

strong static typing 強い静的型付け

type inference 型推論

dependent types 依存型

refinement 詳細化(リファインメント)

確認用

#論文読み #論文 #文献